منابع مشابه
Canonicity!
We describe an abstract proof-theoretic framework based on normal-form proofs, defined using well-founded orderings on proof objects. This leads to robust notions of canonical presentation and redundancy. Fairness of deductive mechanisms – in this general framework – leads to completeness or saturation. The method has so far been applied to the equational, Horn-clause, and deduction-modulo cases.
متن کاملQuantifying and Measuring Morphological Complexity
It is a standard assumption in Linguistics that all human languages are equally (and enormously) complex; when looked at as a whole, no language can be called “simpler” than another. Certainly, languages can differ in the distribution of their complexity, so that one might employ a richer inflectional system, or entertain a more complicated gamut of syllable shapes than another, but it is gener...
متن کاملGround Canonicity
They are not capable to ground a canonicity of universal consistency. Abstract We explore how different proof orderings induce different notions of saturation. We relate completion, paramodulation, saturation, redundancy elimination, and rewrite system reduction to proof orderings.
متن کاملNeighborhoods, Ultrafilters, and Canonicity
This paper will remind the reader of neighborhood semantics for modal logics, compare them with relational semantics, and then look at some questions about neighborhood semantics that have been answered, and some which are still open. We will then introduce “ultrafilter semantics,” a way of expressing all sets over a canonical frame in an ‘effable’ way. This provides us with a conceptually easy...
متن کاملNon-canonicity of Mv-algebras
The varietyMV of all MV-algebras is shown to be non-canonical in a strong sense. Specifically it is shown that the canonical extension of the Chang algebra, K2, is not an MV-algebra. As a consequence, no non-finitely generated variety of MV-algebras is canonical.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linguistica
سال: 2011
ISSN: 2350-420X,0024-3922
DOI: 10.4312/linguistica.51.1.157-180